本报讯中国民主同盟盟员、中国共产党的优秀党员、中国科学院院士、杰出的数学家和教育家、我国理论计算机科学的开拓者、中国科学院软件研究所研究员胡世华同志，因病医治无效，于1998年4月11日在京逝世，终年86岁。
胡世华1912年1月28日生于上海，祖籍浙江吴兴。1936年毕业于北京大学哲学系和数学系，并获得学士学位。1936年起，先后在奥地利维也纳大学、德国敏斯特威廉大学学习，1939年获得博士学位。1941年回国后，他先后在广东中山大学数学天文系、重庆中央大学哲学系、北京大学哲学系任教授。由于反对腐败的国民党政府及受马克思主义思想的影响，他同情革命，拥护中国共产党，多次掩护中国共产党地下工作者。1949年后，除在北京大学任教外，兼任中国科学院数学研究所研究员。1953年起，先后任中国科学院数学研究所研究员，数理逻辑研究室主任；他提议创办中国科学技术大学应用数学系工程逻辑专业，并于1958年至1963年兼任工程逻辑教研室主任；1963年至1985年任中国科学院计算技术研究所研究员，第九研究室主任；1985年起，任中国科学院软件研究所研究员；1979年起兼任北京计算机学院院长、名誉院长。他1980年当选为中国科学院院士，并任计算机科学学科组组长，是我国数学的分支———数理逻辑的奠基人、计算机科学的开拓者，是有杰出贡献的著名科学家。数十年来，在数理逻辑、基础数学和计算机科学等领域开展了多方面深入的研究工作，取得了多项富于开创性的科学成果，建立了多项科学概念、理论和定理；与他人的合著《数理逻辑基础》上下册，于1988年被评为国家教委高等学校优秀教材。他学术造诣深厚，在国内外享有很高声望。
 |
